#include <iostream>
#include<regex>
#include<vector>

using namespace std;
int main(){
    //regex reg("^1\\d{9}[^47]");
    regex reg("^1\\d{9}[01235689]");
    vector<string>vt = { "12356","18282559937","13699301124","13699301125","13999301224" };
    smatch results;
    bool res;
    for (auto& v : vt) {
        res = regex_match(v, results, reg);
        if (res) {
            cout << results.str() << endl;
        }
    }
}
